A Note on an Expressiveness Hierarchy for Multi-exit Iteration
نویسندگان
چکیده
منابع مشابه
A note on an expressiveness hierarchy for multi-exit iteration
Multi-exit iteration is a generalization of the standard binary Kleene star operation that allows for the specification of agents that, up to bisimulation equivalence, are solutions of systems of recursion equations of the form X1 def = P1X2 + Q1 .. Xn def = PnX1 + Qn where n is a positive integer, and the Pi and the Qi are process terms. The addition of multi-exit iteration to Basic Process Al...
متن کاملAn Equational Axiomatization for Multi-Exit Iteration
This paper presents an equational axiomatization of bisimulation equivalence over the language of Basic Process Algebra (BPA) with multi-exit iteration. Multiexit iteration is a generalization of the standard binary Kleene star operation that allows for the specification of agents that, up to bisimulation equivalence, are solutions of systems of recursion equations of the form X1 def = P1X2 +Q1...
متن کاملA note on Inverse Iteration
Inverse iteration, if applied to a symmetric positive definite matrix, is shown to generate a sequence of iterates with monotonously decreasing Rayleigh quotients. We present sharp bounds from above and from below which highlight inverse iteration as a descent scheme for the Rayleigh quotient. Such estimates provide the background for the analysis of the behavior of the Rayleigh quotient in cer...
متن کاملA Note on Expressiveness of ProcessAlgebraIain
We extend the work of Baeten, Bergstra & Klop by showing that every recursively enumerable transition system can be expressed in process algebra up to weak bisimulation. The various forms of process algebra (CCS 5], CSP 4], ACP 2]) are known to have universal computing power, in the sense that they can compute any recursive function on e.g. the natural numbers (see for instance 5], page 135). I...
متن کاملA Note on the Expressiveness of BIP
We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms—strong and weak—of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) framework does not possess the strong full expressiveness. In this paper, we show that BIP has the weak form of this notion and provide results ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 2002
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v9i40.21755